Document `prettify-symbols-mode' and `global-prettify-symbols-mode'.
authorXue Fuqiao <xfq@gnu.org>
Fri, 28 Feb 2014 03:02:50 +0000 (11:02 +0800)
committerXue Fuqiao <xfq@gnu.org>
Fri, 28 Feb 2014 03:02:50 +0000 (11:02 +0800)
commitdf52f8b0ceeea6f6c329c79b3620f56c8adbca92
treeeb4e9a766e68cc996de01c6e95762cf257de92eb
parentc8d49e51819f032e9dac7563da92c33a9e111d60
Document `prettify-symbols-mode' and `global-prettify-symbols-mode'.

* doc/emacs/emacs.texi (Top):
* doc/emacs/programs.texi (Programs, Prettifying Symbols):
Document `prettify-symbols-mode' and `global-prettify-symbols-mode'.

* etc/NEWS: Markup changes.
doc/emacs/ChangeLog
doc/emacs/emacs.texi
doc/emacs/programs.texi
etc/NEWS